/*
* numerador.x: Remote message printing protocol
*/

program NUMERADORPROG
{
	version NUMERADORVERS
	{
	    int GETNEXT() = 1;
	} = 1;
} = 99;
